Problem 19 Alberto
نویسندگان
چکیده
A closed λ-termM is easy if, for any other closed termN , the lambda theory generated by M = N is consistent, while it is simple easy if, given an arbitrary intersection type τ , one can find a suitable pre-order on types which allows to derive τ forM . Simple easiness implies easiness. The question whether easiness implies simple easiness constitutes Problem 19 in the TLCA list of open problems. In this paper we negatively answer the question providing a nonempty co-r.e. (complement of a recursively enumerable) set of easy, but non simple easy, λ-terms.
منابع مشابه
Vanishing Viscosity Solutions of Nonlinear Hyperbolic Systems
1 Introduction 1 2 Parabolic estimates 7 3 Outline of the BV estimates 12 4 A center manifold of viscous travelling waves 15 5 Gradient decomposition 19 6 Bounds on the source terms 23 7 Transversal wave interactions 32 8 Functionals related to shortening curves 35 9 Energy estimates 40 10 Proof of the BV estimates 45 11 Stability estimates 47 12 Propagation speed 55 13 The vanishing viscosity ...
متن کاملPredicting social problem solving using personality traits
This study examined the relations between personality traits and social problem-solving ability. Personality was measured by the Eysenck Personality Questionnaire-Revised, the NEO Five-Factor Inventory, and the Positive and Negative Affect Schedule. Social problem-solving ability was assessed by the Social Problem-Solving Inventory-Revised, which measures five different dimensions of problem-so...
متن کاملar X iv : 0 80 5 . 48 19 v 5 [ he p - th ] 9 S ep 2 00 9 1 Thermodynamic systems as bosonic strings
Alejandro Vázquez1, Hernando Quevedo2, and Alberto Sánchez3 1 Facultad de Ciencias, Universidad Autónoma de Morelos, Av. Universidad 1001, Cuernavaca, MO 62210, Mexico 2 Dipartimento di Fisica, Università di Roma, Piazzale Aldo Moro 5, I-00185 Roma; ICRANet, Piazzale della Repubblica 10, I-65122 Pescara, Italy 3 Instituto de Ciencias Nucleares, Universidad Nacional Autónoma de México AP 70543, ...
متن کاملDifferential organization of excitatory and inhibitory synapses within the rat
1 1 Differential organization of excitatory and inhibitory synapses within the rat 2 dorsal vagal complex 3 4 5 Tanja Babic, Kirsteen N. Browning & R. Alberto Travagli* 6 7 Department of Neural and Behavioral Sciences, 8 Penn State College of Medicine, 9 Hershey, PA 17033 10 11 12 Running title: GABA and glutamate inputs to DMV neurons 13 14 * Corresponding author: 15 Dr R. Alberto Travagli 16 ...
متن کامل